Kompendium over de afdeeling Manna

Kompendium Theoretische Informatik - eine Ideensammlung

Pæan to Zohar Manna

Zohar, whose name in Hebrew means “illumination,” was born in early 1939 c.e. and grew up in Haifa, Israel. This volume is offered in tribute to Zohar – and in celebration of his 64th birthday. Two academic symposia were held to mark this event: a one-day symposium, held in Tel Aviv, Israel on May 16, 2003, and a week-long symposium, held in Taormina, Sicily, from June 29 to July 4, which gave ...

Manna to Gall

o undertaking, however vast, has ever surpassed my courage, " professed Peter Paul Rubens, whose work comprised cathedral domes and altarpieces, portraits , landscapes, and designs for sculpture and architecture. Courage also drove his exuberant style of fl amboyant color and movement. " That Homer of painting, the father of warmth and enthusiasm in art, " said of him Eugene Delacroix, eclipsed...

Zohar Manna and Amir Pnueli

The paper presents a, relatively complete proof system for proving the validity of temporal properties of reactive programs. The presented proof system improves on previous temporal systems, such as [MPS3a] and [MP83b]? in that it reduces the validity of progra,m properties into pure assertional reasoning, not involving additional tempora,l rea.soning. The proof system is based on the classific...

Generalized Manna Sandpile Model with Height Restrictions

Sandpile models with conserved number of particles (also called fixed energy sandpiles) may undergo phase transitions between active and absorbing states. We generalize the Manna sandpile model with fixed number of particles, introducing a parameter −1≤ λ≤ 1 related to the toppling of particles from active sites to its first neighbors. In particular, we discuss a model with height restrictions,...